1. Handbook on ontologies

by Studer, R | Staab, Steffen.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 003.54 STA ] (1).
2. Logic of knowledge bases

by Levesque, Hector J | Lakemeyer, Gerhard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2000Availability: Items available for loan: [Call number: 006.332 LEV] (1).
3. Knowledge in action : logical foundations for specifying and implementing dynamical systems

by Reiter, Raymond.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2001Availability: Items available for loan: [Call number: 006.332 REI] (1).
4. Knowledge representation, reasoning, and declarative problem solving

by Baral, Chitta.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 006.33 BAR] (1).

Powered by Koha